Browsing by Author "Shvartsman, A. A."
Now showing items 1-20 of 27
-
Conference Object
An abstract channel specification and an algorithm implementing it using Java sockets
Georgiou, Chryssis; Shvartsman, A. A.; Musiał, Peter M.; Sonderegger, E. L. (2008)Models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are often negated by the ad hoc process of ...
-
Conference Object
Analyzing the number of slow reads for semifast atomic read/write register implementations
Georgiou, Chryssis; Kentros, Sotirios; Nicolaou, Nicolas C.; Shvartsman, A. A. (2009)Developing fast implementations of atomic read/write registers in the message passing model is among the fundamental problems in distributed computing. Typical implementations require two communication round trips for read ...
-
Conference Object
Brief announcement: A formal treatment of an abstract channel implementation using java sockets and TCP
Georgiou, Chryssis; Musiał, Peter M.; Shvartsman, A. A.; Sonderegger, E. L. (2007)Abstract models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are offset by the challenging process ...
-
Article
Brief announcement: Fault-tolerant SemiFast implementations of atomic read/write registers
Georgiou, Chryssis; Nicolaou, Nicolas C.; Shvartsman, A. A. (2006)
-
Conference Object
Brief announcement: On the robustness of (semi)fast quorum-based implementations of atomic shared memory
Georgiou, Chryssis; Nicolaou, Nicolas C.; Shvartsman, A. A. (2008)Atomic (linearizable) read/write memory is a fundamental abstractions in distributed computing. Following a seminal implementation of atomic memory of Attiya et al.[6], a folklore belief developed that in messaging-passing ...
-
Conference Object
Brief Announcement: Optimally work-competitive scheduling for cooperative computing with merging groups
Georgiou, Chryssis; Russell, A.; Shvartsman, A. A. (2002)The development of algorithms with guaranteed work efficiency for any pattern of fragmentations and merges of the underlying network is addressed. Current results are discussed for the abstract setting where asynchronous ...
-
Article
The complexity of synchronous iterative Do-All with crashes
Georgiou, Chryssis; Russell, A.; Shvartsman, A. A. (2004)The ability to cooperate on common tasks in a distributed setting is key to solving a broad range of computation problems ranging from distributed search such as SETI to distributed simulation and multi-agent collaboration. ...
-
Article
The complexity of synchronous iterative do-all with crashes
Georgiou, Chryssis; Russell, A.; Shvartsman, A. A. (2001)Do-All is the problem of performing N tasks in a distributed system of P failure-prone processors [8]. Many distributed and parallel algorithms have been developed for this problem and several algorithm simulations have ...
-
Article
Cooperative computing with fragmentable and mergeable groups
Georgiou, Chryssis; Shvartsman, A. A. (2003)This work considers the problem of performing a set of N tasks on a set of P cooperating message-passing processors (P ≤ N). The processors use a group communication service (GCS) to coordinate their activity in the setting ...
-
Conference Object
Coordinated cooperative work using undependable processors with unreliable broadcast
Davtyan, S.; Prisco, R. D.; Georgiou, Chryssis; Shvartsman, A. A. (IEEE Computer Society, 2014)With the end of Moore's Law in sight, parallelism became the main means for speeding up computationally intensive applications, especially in the cases where large collections of tasks need to be performed. Network ...
-
Article
Developing a consistent domain-oriented distributed object service
Georgiou, Chryssis; Musiał, Peter M.; Shvartsman, A. A. (2009)This paper presents a new algorithm for a reconfigurable distributed domain-oriented atomic object service, called DO-RAMBO, which stands for Domain-Oriented Reconfigurable Atomic Memory for Basic Objects. This service is ...
-
Conference Object
Developing a consistent domain-oriented distributed object service
Georgiou, Chryssis; Musiał, Peter M.; Shvartsman, A. A. (2005)This paper presents a new algorithm for a reconfigurable distributed domain-oriented atomic object service, called DO-RAMBO, which stands for Domain-Oriented Reconfigurable Atomic Memory for Basic Objects. This service is ...
-
Conference Object
Distributed Cooperation and Adversity: Complexity Trade-Offs
Georgiou, Chryssis; Russell, A.; Shvartsman, A. A. (2003)The problem of cooperatively performing a collection of tasks in a decentralized setting where the computing medium is subject to adversarial perturbations is one of the fundamental problems in distributed computing. Such ...
-
Book Chapter
Do-all computing in distributed systems: Cooperation in the presence of adversity
Georgiou, Chryssis; Shvartsman, A. A. (Springer US, 2008)The ability to cooperatively perform a collection of tasks in a distributed system is key to solving a broad array of computation problems ranging from distributed search, to distributed simulation, and multi-agent ...
-
Article
The Do-All problem with Byzantine processor failures
Fernández, A.; Georgiou, Chryssis; Russell, A.; Shvartsman, A. A. (2005)Do-All is the abstract problem of using n processors to cooperatively perform m independent tasks in the presence of failures. This problem and its derivatives have been a centerpiece in the study of trade-offs between ...
-
Article
Efficient gossip and robust distributed computation
Georgiou, Chryssis; Kowalski, D. R.; Shvartsman, A. A. (2005)This paper presents an efficient deterministic gossip algorithm for p synchronous, crash-prone, message-passing processors. The algorithm has time complexity T=O(log2p) and message complexity M=O(p1+ε), for any ε>0. This ...
-
Article
Efficient gossip and robust distributed computation
Georgiou, Chryssis; Kowalski, D. R.; Shvartsman, A. A. (2003)This paper presents an efficient deterministic gossip algorithm for p synchronous, crash-prone, message-passing processors. The algorithm has time complexity T = O(log2 p) and message complexity M = O(p1+ε), for any ε > ...
-
Article
Failure-sensitive analysis of parallel algorithms with controlled memory access concurrency
Georgiou, Chryssis; Russell, A.; Shvartsman, A. A. (2007)The abstract problem of using P failure-prone processors to cooperatively update all locations of an N-element shared array is called Write-All. Solutions to Write-All can be used iteratively to construct efficient simulations ...
-
Conference Object
Fault-tolerant semi fast implementations of atomic read/write registers
Georgiou, Chryssis; Nicolaou, Nicolas C.; Shvartsman, A. A. (2006)This paper investigates time-efficient implementations of atomic read-write registers in message-passing systems where the number of readers can be unbounded. In particular we study the case of a single writer, multiple ...
-
Article
Fault-tolerant semifast implementations of atomic read/write registers
Georgiou, Chryssis; Nicolaou, Nicolas C.; Shvartsman, A. A. (2009)This paper investigates time-efficient implementations of atomic read-write registers in message-passing systems where the number of readers can be unbounded. In particular we study the case of a single writer, multiple ...